ABD: Abducción de Excepción por Defecto en Mundos Finitos de Primer Orden Abducción de Excepción por Defecto (ABD) en mundos finitos de primer orden: un enfoque lógico para razonar con excepciones e información incompleta. 2026-05-06 · 1 min
